A Slotted Hash Cons for Alpha Invariance
philipzucker.com·8h·
Discuss: Hacker News
🔗Lexical Scoping
Algebraic Types are not Scary
blog.aiono.dev·16h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Semantic Dictionary Encoding
falvotech.com·12h·
Discuss: Hacker News
🗂️Type Indexing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·11h
💫Effect Systems
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·1h·
Discuss: DEV
🧪Compiler Testing
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·23h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
ECMAScript TC39 proposal-pattern-matching
github.com·13h·
Discuss: Hacker News
🎯Pattern Matching
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Physics-informed sensor coverage through structure preserving machine learning
arxiv.org·23h
🔍ML Language
New C++ Conference Videos Released This Month - September 2025
reddit.com·9h·
Discuss: r/cpp
🎓Teaching Compilers
Jim Henry | Wards Auto
wardsauto.com·11h
🔢Algebraic Datatypes
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·5h
🎮Language Ergonomics
Balance between refactoring and inheritance in your code
github.com·15h·
Discuss: Hacker News
🧪Compiler Testing
Angular Signals Form: Validation and Logic
dev.to·5h·
Discuss: DEV
🧱WASM Components
Epoch Raises $1.2M for Building a Solver Coordination Layer
globenewswire.com·10h
📮Message Queues
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·14h·
Discuss: DEV
🏗️Cranelift
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
The many, many, many JavaScript runtimes of the last decade
shapeof.com·9h
🚀V8 Internals